The ART behind IDEAS
نویسندگان
چکیده
The IDEAS design system is an innovative algorithm engineering environment. It can be employed to derive correct and e cient software or hardware implementations from algebraic speci cations using the advanced formal method ART. Several case studies for some algorithm engineering tasks are discussed in this article to demonstrate the feasibility of this system.
منابع مشابه
A Comparative Study on the Epistemology of Art in Iran and Europe Emphasizing the Social Position of the Artist
The position of the artist in different periods of history has undergone fundamental changes due to the difference in the concept of art and the relationship between art and wisdom: From the creative idea of creation, which placed the creator in the position of the first artist, to the era of the rule of the philosophy of religion or theology, in which the artist, as a craftsman, was merely the...
متن کاملThe Analysis of The Concept of Time in Performance-Art based on Gilles Deleuze’s Ideas
Art in Deleuze’s ideas is a block of percepts and affects that is made in order to make audiences free from clichés. Performanceart works’ approach to social matters are to disarrange clichés, too. The aim of this paper is to analyze “Time” as an essential component in performance-art works to answer to this question: What potential is in artists’ approach to this component for expressing socia...
متن کاملThe Aesthetics of the Machine in the 20th Century Art based on Don Ihde’s Ideas
The increasing growth of technology in the twentieth century has brought about profound developments in the relations between man and the world. These developments, which included large industries and automatic and semi-automatic machines, necessitated the question of technology not only by intellectuals, but also by artists. Thus, different approaches to technology were formed, all of which we...
متن کاملThe Place and Influence of Intuition in the Creativity of the Architecture Designing Process
The work of architecture is believed to depend on the governing thought in the process of architectural designing. This thought can be analyzed, developed, experienced, and interpreted. Creativity is the only domineering force in the idea of designing which is in quest for freeing architecture from the routine methods, and also finding the novel systems to answer the questions in architecture. ...
متن کاملنسبت مکتب اسلام با فلسفه هنر و زیبایی و آثار هنری
Regarding the existing crisis of art and architecture from both theoretical and practical aspects, which are influenced by the dubitative and relativism viewpoints of western culture in new era, could be solved by the school of Islam from all its sides of theory, practice and historical background.To prove the above idea, firstly, the architecture would be introduced as a part of human science ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995